(:-export p / 6).
(:-dynamic p / 6).
(?-retractall(p_6_mtindex_156243)).
(p_6_mtindex_156243(_h3257,_h3259,_h3261,_h3263,_h3265,_h3267) :- nonvar(_h3257) -> p_6_mtindex_156243_6_index_123(_h3257,_h3265,_h3267,_h3259,_h3263,_h3261)  ';'  nonvar(_h3259) -> p_6_mtindex_156243_6_index_45(_h3259,_h3263,_h3257,_h3265,_h3267,_h3261)  ';'  nonvar(_h3261) -> p_6_mtindex_156243_6_index_6(_h3261,_h3257,_h3265,_h3267,_h3259,_h3263)).
p(a1,b1,c1,d1,e1,f1).
p(a2,b2,c2,d2,e2,f2).
p(a3,b3,c3,d3,e3,f3).
